Сбор средств 15 Сентября 2024 – 1 Октября 2024 О сборе средств
1
Language, Proof and Logic

Language, Proof and Logic

David Barker-Plummer, Jon Barwise, John Etchemendy
Год:
2011
Язык:
english
Файл:
PDF, 2.19 MB
5.0 / 5.0
english, 2011
2
Selected papers on computer science

Selected papers on computer science

Donald E. Knuth
Год:
1999
Язык:
english
Файл:
DJVU, 3.13 MB
0 / 0
english, 1999
3
Syntactic theory: a formal introduction

Syntactic theory: a formal introduction

Ivan A. Sag, Thomas Wasow
Год:
1999
Язык:
english
Файл:
PDF, 2.25 MB
5.0 / 0
english, 1999
4
Companion to the Papers of Donald Knuth

Companion to the Papers of Donald Knuth

Donald E. Knuth
Год:
2012
Язык:
english
Файл:
DJVU, 4.00 MB
0 / 0
english, 2012
5
Selected papers on discrete mathematics

Selected papers on discrete mathematics

Donald E. Knuth
Год:
2001
Язык:
english
Файл:
DJVU, 5.22 MB
0 / 0
english, 2001
6
Lexical Functional Grammar

Lexical Functional Grammar

Yehuda N. Falk
Год:
2001
Язык:
english
Файл:
PDF, 1.75 MB
5.0 / 0
english, 2001
7
A Natural History of Negation

A Natural History of Negation

Laurence R. Horn
Год:
2001
Язык:
english
Файл:
PDF, 38.29 MB
5.0 / 5.0
english, 2001
8
Selected papers on fun & games

Selected papers on fun & games

Donald E. Knuth
Год:
2011
Язык:
english
Файл:
PDF, 20.79 MB
0 / 0
english, 2011
9
Tarski's World: Revised and Expanded

Tarski's World: Revised and Expanded

David Barker-Plummer, Jon Barwise, John Etchemendy
Год:
2007
Язык:
english
Файл:
PDF, 1.37 MB
0 / 0
english, 2007
10
English syntax : an introduction

English syntax : an introduction

Jong-Bok Kim, Peter Sells
Год:
2007
Язык:
english
Файл:
PDF, 819 KB
5.0 / 0
english, 2007
11
Modal Logic for Open Minds

Modal Logic for Open Minds

Johan van Benthem
Год:
2000
Язык:
english
Файл:
PDF, 2.13 MB
0 / 0
english, 2000
12
Literate Programming

Literate Programming

Knuth D.E.
Год:
1992
Язык:
english
Файл:
DJVU, 2.74 MB
5.0 / 4.5
english, 1992
13
Modal Logic for Open Minds

Modal Logic for Open Minds

Johan van Benthem
Год:
2000
Язык:
english
Файл:
DJVU, 2.75 MB
5.0 / 5.0
english, 2000
14
Phrase Structure and Grammatical Relations in Tagalog

Phrase Structure and Grammatical Relations in Tagalog

Paul Kroeger
Год:
1992
Язык:
english
Файл:
PDF, 7.67 MB
5.0 / 0
english, 1992
15
Selected Papers on Computer Languages

Selected Papers on Computer Languages

Donald E. Knuth
Год:
2002
Язык:
english
Файл:
DJVU, 4.58 MB
0 / 0
english, 2002
16
The situation in logic

The situation in logic

Jon Barwise
Год:
1989
Язык:
english
Файл:
DJVU, 4.39 MB
5.0 / 0
english, 1989
17
Language, Proof and Logic

Language, Proof and Logic

Jon Barwise, John Etchemendy
Год:
2002
Язык:
english
Файл:
PDF, 3.10 MB
0 / 0
english, 2002
19
Selected Papers on Design of Algorithms (for Algorithmix)

Selected Papers on Design of Algorithms (for Algorithmix)

Knuth D.E.
Год:
2010
Язык:
english
Файл:
DJVU, 8.18 MB
0 / 0
english, 2010
20
Representation and Invariance of Scientific Structures

Representation and Invariance of Scientific Structures

Patrick Suppes
Год:
2001
Язык:
english
Файл:
PDF, 7.69 MB
0 / 0
english, 2001
21
Introduction to natural language semantics

Introduction to natural language semantics

Henriëtte de Swart
Год:
1998
Язык:
english
Файл:
DJVU, 1.84 MB
0 / 0
english, 1998
22
Digital Typography (CSLI Lecture Notes Number 78)

Digital Typography (CSLI Lecture Notes Number 78)

Donald E. Knuth
Год:
2016
Язык:
english
Файл:
PDF, 85.36 MB
5.0 / 0
english, 2016
23
Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena

Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena

Jon Barwise, Lawrence Moss
Год:
1996
Язык:
english
Файл:
PDF, 15.43 MB
0 / 0
english, 1996
24
Language, Proof and Logic [CD-ROM]

Language, Proof and Logic [CD-ROM]

Jon Barwise, John Etchemendy (eds.)
Год:
2002
Язык:
english
Файл:
RAR, 46.74 MB
0 / 0
english, 2002
25
Necessity or Contingency: The Master Argument

Necessity or Contingency: The Master Argument

Jules Vuillemin
Год:
1996
Язык:
english
Файл:
PDF, 14.94 MB
5.0 / 5.0
english, 1996
26
Beyond grammar: an experience-based theory of language

Beyond grammar: an experience-based theory of language

Rens Bod
Год:
1998
Язык:
english
Файл:
PDF, 6.38 MB
0 / 0
english, 1998
27
Syntactic theory: a formal introduction

Syntactic theory: a formal introduction

Sag I.A., Wasow T., Bender E.M.
Год:
2003
Язык:
english
Файл:
DJVU, 4.01 MB
0 / 0
english, 2003
28
Selected Papers on Computer Languages

Selected Papers on Computer Languages

Donald E. Knuth
Год:
2002
Язык:
english
Файл:
DJVU, 4.98 MB
0 / 0
english, 2002
29
Non-Well-Founded Sets

Non-Well-Founded Sets

Peter Aczel
Год:
1988
Язык:
english
Файл:
PDF, 4.46 MB
0 / 0
english, 1988
30
A Manual of Intensional Logic

A Manual of Intensional Logic

Johan van Benthem
Год:
1988
Язык:
english
Файл:
PDF, 37.48 MB
5.0 / 0
english, 1988
31
Hyperproof

Hyperproof

Jon Barwise, John Etchemendy
Год:
1994
Язык:
english
Файл:
PDF, 11.94 MB
0 / 0
english, 1994
32
A Constructional Approach to Resultatives

A Constructional Approach to Resultatives

Hans C. Boas
Год:
2003
Язык:
english
Файл:
PDF, 26.07 MB
0 / 0
english, 2003
33
The Linguistics of Punctuation

The Linguistics of Punctuation

Geoffrey Nunberg
Год:
1990
Язык:
english
Файл:
DJVU, 13.05 MB
0 / 0
english, 1990
34
Logics of Time and Computation

Logics of Time and Computation

Robert Goldblatt
Год:
1992
Язык:
english
Файл:
PDF, 5.61 MB
0 / 0
english, 1992
35
Literature and Cognition

Literature and Cognition

Jerry R. Hobbs
Год:
1990
Язык:
english
Файл:
PDF, 9.06 MB
0 / 0
english, 1990
36
Formal Issues in Lexical-Functional Grammar

Formal Issues in Lexical-Functional Grammar

John Maxwell III, Ronald M. Kaplan, Mary Dalrymple, Annie Zaenen
Год:
1994
Язык:
english
Файл:
PDF, 7.05 MB
5.0 / 0
english, 1994
38
Defending AI Research: A Collection of Essays and Reviews

Defending AI Research: A Collection of Essays and Reviews

John McCarthy
Год:
1996
Язык:
english
Файл:
PDF, 5.40 MB
0 / 0
english, 1996
39
Dynamics of Reason

Dynamics of Reason

Michael Friedman
Год:
2001
Язык:
english
Файл:
DJVU, 1.34 MB
5.0 / 5.0
english, 2001
40
Mathematics of modality

Mathematics of modality

Robert Goldblatt
Год:
1993
Язык:
english
Файл:
PDF, 11.27 MB
0 / 0
english, 1993
41
Lexical Matters

Lexical Matters

Ivan A. Sag, Anna Szabolcsi
Год:
1992
Язык:
english
Файл:
PDF, 8.39 MB
5.0 / 0
english, 1992
42
The grammar of negation: A constraint-based approach [PhD Thesis]

The grammar of negation: A constraint-based approach [PhD Thesis]

Jong-Bok Kim
Год:
2000
Язык:
english
Файл:
DJVU, 2.17 MB
5.0 / 5.0
english, 2000
43
Mathematical Reasoning with Diagrams

Mathematical Reasoning with Diagrams

Mateja Jamnik
Год:
2001
Язык:
english
Файл:
PDF, 1.55 MB
0 / 0
english, 2001
44
Ambiguity Resolution in Language Learning: Computational and Cognitive Models

Ambiguity Resolution in Language Learning: Computational and Cognitive Models

Hinrich Schutze
Год:
1997
Язык:
english
Файл:
PDF, 11.07 MB
0 / 0
english, 1997
45
Unsettling Obligations: Essays on Reason, Reality and the Ethics of Belief

Unsettling Obligations: Essays on Reason, Reality and the Ethics of Belief

Allen W. Wood
Год:
2002
Язык:
english
Файл:
PDF, 38.71 MB
0 / 0
english, 2002
46
LANGUAGE, PROOF AND LOGIC 2nd Edition

LANGUAGE, PROOF AND LOGIC 2nd Edition

DAVE BARKER-PLUMMER, JON BARWISE, JOHN ETCHEMENDY
Год:
2011
Язык:
english
Файл:
PDF, 2.22 MB
0 / 5.0
english, 2011
47
Bantu Historical Linguistics: Theoretical and Empirical Perspectives

Bantu Historical Linguistics: Theoretical and Empirical Perspectives

Jean-Marie Hombert, Larry M. Hyman
Год:
1999
Язык:
english
Файл:
PDF, 34.88 MB
0 / 0
english, 1999
48
Online Deliberation: Design, Research, and Practice

Online Deliberation: Design, Research, and Practice

Todd Davies, Seeta Pena Gangadharan
Год:
2009
Язык:
english
Файл:
PDF, 12.66 MB
0 / 0
english, 2009
49
Representation and Invariance of Scientific Structures

Representation and Invariance of Scientific Structures

Patrick Suppes
Год:
2002
Язык:
english
Файл:
PDF, 7.55 MB
0 / 0
english, 2002
50
Formal Issues in Lexical-Functional Grammar

Formal Issues in Lexical-Functional Grammar

John Maxwell III, Ronald M. Kaplan, Mary Dalrymple, Annie Zaenen
Год:
1994
Язык:
english
Файл:
PDF, 7.79 MB
5.0 / 0
english, 1994